module Foo

val f: x:int * y: int * z:int -> int
